Bug Driven Bug Finders
نویسندگان
چکیده
We describe a method of creating tools to find bugs in software that is driven by the analysis of previously fixed bugs. We present a study of bug databases and software repositories that characterize commonly occurring types of bugs. Based on the types of bugs that were commonly reported and fixed in the code, we determine what types of bug finding tools should be developed. We have implemented one static checker, a return value usage checker. Novel features of this checker include the use of information from the software repository to try to improve its false positive rate by identifying patterns that have resulted in previous bug fixes.
منابع مشابه
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic reasoning for synthesing code, loop invariants and ranking functions. Satisfiability Modulo Theories (SMT) solvers have been the focus of increased recent attention thanks to technological advances and an increasing number of ...
متن کاملAllergic reactions and dermatitis to common bed bug bites: A case report from Ahvaz, Southwest Iran
---
متن کاملThe Effect of Bug Damage on Physicochemical, Electrophoretic and Quality Factors of Wheat Gluten
One of the most important forms of preharvest damage to wheat is caused by sunn pests. The insects insert their mouth parts into the immature grain and while injecting their saliva suck the milky juices. Flour from damaged wheat results in low baking performance due to the bug proteolytic enzymes’ injected which cause the breakdown of gluten structure in the dough. In the present study three wh...
متن کاملBed bug (Cimex lectularis) outbreak: A cross-sectional study in Polour, Iran
Background: Cimex lectularius (bed bug) are insects abundantly found in hot, temperate areas. This study is related to the outbreak of Cimex lectularius in a construction site around Polour in Amol, Iran. This cross-sectional study has examined 182 prefabricated houses made of intermodal containers [Conex] converted to a temporary housing, in a construction site.Methods...
متن کاملBed bug bite, as an important health and urban pest
Bed bug (Cimex lectularius) is an nocturnal insect that feeding on human blood at all stages of them life, and known as a human ectoparasite. Bed bug is usually feeding from the face, neck, arms, arms, shoulders, legs, and especially parts of the body that are bare during sleep. Persons reaction differently to bed bug bites and may experience minor itching to severe allergies. Symptoms usually ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004